Towards an Efficient Implementation of Distributive Programs
نویسندگان
چکیده
Programs and data in distributive categories must be coded in some way in order to be executed on standard architectures. In the original mathematical description of an IMP(G) interpreter [KW93] distributive data were coded as words on a suitable set. We present a new ef cient coding for such data. This coding allows to exploit the known techniques used in run-time environments for object-oriented systems in order to optimize the execution of IMP(G) programs on RAM machines. Moreover, the coding is at the basis of a compiler and bytecode interpreter, which have been described equationally using ASF+SDF.
منابع مشابه
Implementation Research: An Efficient and Effective Tool to Accelerate Universal Health Coverage
Success in the implementation of evidence-based interventions (EBIs) in different settings has had variable success. Implementation research offers the approach needed to understand the variability of health outcomes from implementation strategies in different settings and why interventions were successful in some countries and failed in others. When mastered and embedd...
متن کاملDesign of High Throughput DCT Core Design by Efficient Computation Mechanism
This paper presents an approach towards VLSI implementation of the Discrete cosine Transform for image compression. Modules required for the corresponding ciruitThe design follows the JPEG standard and can be used for both lossy and lossless compression. In Discrete cosine transform, the filter implementation plays the key role. The poly phase structure is proposed for the filter implementation...
متن کاملDesign and Implementation of Parallel and Pipelined Distributive Arithmetic Based Discrete Wavelet Transform IP Core
The Discrete Wavelet Transform (DWT) has gained the reputation of being a very effective signal analysis tool for many practical applications. This paper presents an approach towards VLSI implementation of the Discrete Wavelet Transform for image compression. The design conforms to JPEG2000 standard and can be used for both lossy and lossless compression. In Discrete Wavelet transform, the filt...
متن کاملDistributive laws in programming structures
Generalised Distributive laws in Computer Science are rules governing the transformation of one programming structure into another. In programming, they are programs satisfying certain formal conditions. Their importance has been to date documented in several isolated cases by diverse formal approaches. These applications have always meant leaps in understanding the nature of the subject. Howev...
متن کاملOffering a Pattern of Ecotourism Management Pattern with an Emphasis on the Urban Ecological Textures (Case Study: District 9 of Isfahan’s Municipality)
As it can take an efficient step towards the preservation and sustainability of such lands due to the preparation, implementation, and reformation of criteria. In District 9 of Isfahan Municipality, mismanagement in the preservation of ecological lands has destroyed gardens and agricultural lands, and has caused the loss of social unity of neighborhoods. Consequently, the study of ecotourism m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997